Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
71	Microsoft Word - Westnew.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2014-08-08 12:45:15 Ontology Knowledge representation Semantic Web Information science Technical communication Knowledge Information Formal ontology Web Ontology Language ISO 15926 Upper ontology Web resource
72	Microsoft Word - ismb20080330.doc Add to Reading List Source URL: www2.imbi.uni-freiburg.de Language: English - Date: 2008-03-31 06:37:49 Ontology Information Metaphysics Upper ontology OBO Foundry Formal ontology Open Biomedical Ontologies Gene ontology Web Ontology Language Descriptive Ontology for Linguistic and Cognitive Engineering Taxonomy Metaclass
73	UNCLASSIFIED Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan Curley and & Dr. Richard Harang (ARL) Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:22 Formal languages Philosophy Cognitive science Grammar Linguistics Natural language processing Syntax Compiler construction Grammar induction Chomsky hierarchy Formal grammar Noam Chomsky
74	The engineering of generic requirements for failure management Colin Snook1, Michael Poppleton1, and Ian Johnson2 1 School of Electronics and Computer Science, Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:53:25 Software engineering Unified Modeling Language Computing Modeling language Class diagram Object Process Methodology Abstract state machines Specification Profile Requirement Formal methods Executable UML
75	TEM Journal–240 Pattern Recognition and Natural Language Processing: State of the Art Mirjana Kocaleva 1,2, Done Stojanov 2, Igor Stojanovik 2, Zoran Zdravev 2 1 Add to Reading List Source URL: www.temjournal.com Language: English - Date: 2016-05-22 13:04:30 Computational linguistics Formal sciences Artificial intelligence Natural language processing Science Linguistics Cybernetics Computational neuroscience Natural language understanding Speech recognition Machine translation Machine learning
76	A Pre-Programming Introduction to Algorithmics Judith Gal-Ezer1 The Open University of Israel, Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2004-09-27 01:20:03 Software engineering Computer programming Algorithms Software development Mathematical logic Theoretical computer science Formal methods Pseudocode Programming language Refinement Outline of computer programming Edsger W. Dijkstra
77	Structured Descriptions of Roles, Activities, and Procedures in the Roman Constitution Yoonmi Chu and Robert B. Allen Yonsei University, Seoul, Korea and Abstract. A highly structure Add to Reading List Source URL: ircdl2015.unibz.it Language: English - Date: 2015-01-24 10:40:03 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Basic Formal Ontology Formal ontology Web Ontology Language Descriptive Ontology for Linguistic and Cognitive Engineering
78	Verified Squared: Does Critical Software Deserve Verified Tools? Xavier Leroy ∗ INRIA Paris-Rocquencourt Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2010-12-29 13:37:29 Theoretical computer science Software engineering Computing Logic in computer science Formal methods Compiler construction Formal verification ACM Transactions on Programming Languages and Systems Semantics Compiler Programming language Operational semantics
79	Towards Scalingless Generation of Formal Contexts from an Ontology in a Triple Store Frithjof Dau SAP AG, Germany ABSTRACT. Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2016-06-19 12:23:34 Computing Semantic Web Data management World Wide Web Consortium Resource Description Framework Knowledge representation Web services RDF Schema SPARQL Triplestore Web Ontology Language Ontology
80	GNU/Linux Command−Line Tools Summary Gareth Anderson Chris Karakas − Conversion from LyX to DocBook SGML, Index generation Add to Reading List Source URL: en.tldp.org Language: English - Date: 2006-04-20 09:21:09 Software Computing Markup languages Technical communication Formal languages Desktop publishing software DocBook LyX Standard Generalized Markup Language LaTeX Integrated development environment Programming tool

UPDATE